In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
321	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
322	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: stat.ethz.ch Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
323	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirrors.softliste.de Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
324	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.xl-mirror.nl Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
325	The five articles in this special issue are the extended, journal versions of the papers first presented at the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. PEPM’12 took place in January 20 Add to Reading List Source URL: okmij.org Language: English - Date: 2013-07-16 20:02:01 Type theory Theoretical computer science Functional languages Cross-platform software Functional programming Domain-specific language Type system Scala Partial evaluation Computing Software engineering Programming language theory
326	WordCamp Providence A/V Release Form By participating in WordCamp Providence, I understand that portions of the event will be photographed and/or audio/video-recorded for use by the WordPress Foundation. I agree that the Add to Reading List Source URL: providence.wordcamp.org Language: English - Date: 2012-08-25 10:24:04 PHP programming language WordPress Share-alike Providence Rhode Island Notification system Software Methodology Blog software
327	RESEARCH NEWS Scientific Computing at MPI-M Climate and Earth system models run on high-performance computers with hundreds of processors, even thousands in the future. They generate large amounts of data. The objective Add to Reading List Source URL: www.mpimet.mpg.de Language: English - Date: 2014-05-09 04:57:07 CIMD Parallel computing Computational science Application programming interfaces Software Message Passing Interface Computing Technology Max Planck Society
328	Making Information Flow Explicit in HiStar doi: By Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazières Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2011-11-22 14:18:47 Unix Process Linux Application programming interfaces Monolithic kernels Kernel Thread Unix signal Filesystem Hierarchy Standard Computing Software System software
329	BSUHH-KNUST work packages status perPackage/outputs Work package 1 4 week course in Research Methodology Add to Reading List Source URL: bsuhh.org Language: English - Date: 2012-06-04 03:14:38 Java enterprise platform Spring Framework Tagoe Tor System software Software Computing Aspect-oriented programming
330	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory

UPDATE